Verification and Validation of Ethical Decision-making in Autonomous Systems
نویسنده
چکیده
Autonomous systems are increasingly becoming part of both the cyber and physical infrastructures that sustain our daily lives. Immersing these technologies into our technical and social infrastructures has profound implications and hence requires instilling confidence in their behavior to avoid potential harm. This paper examines the characteristics of autonomous behavior in relation to ethical decision-making and highlights the roles of cognitive computing and science of complexity toward addressing the identified verification and validation challenges. A framework influenced by the social intuitionist theory is discussed, and wide reflective equilibrium model of coherence is posited as a formal computational strategy for its implementation.
منابع مشابه
Reducing complexity of autonomous control agents for verifiability
The AgentSpeak type of languages are considered for decision making in autonomous control systems. To reduce the complexity and increase the verifiability of decision making, a limited instruction set agent (LISA) is introduced. The new decision method is structurally simpler than its predecessors and easily lends itself to both design time and runtime verification methods. The process of conve...
متن کاملThe Challenges of V&v to Provide Rigorous Validation and Verification Of
THE REALM OF SPACE EXPLOration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for humanin-the-loop decision-making. Autonomous control systems raise difficult verification and validation issues. V&V techniques are needed that significantly increase confidence in these decision-ma...
متن کاملTowards Verifiably Ethical Robot Behaviour
Ensuring that autonomous systems work ethically is both complex and difficult. However, the idea of having an additional ‘governor’ that assesses options the system has, and prunes them to select the most ethical choices is well understood. Recent work has produced such a governor consisting of a ‘consequence engine’ that assesses the likely future outcomes of actions then applies a Safety/Ethi...
متن کاملAnalytic Verification of Flight Software
IN THE REALM OF SPACE EXPLOration, the biggest obstacle to widespread application of autonomy in flight software is not technical feasibility; it is doubt about its trustworthiness as a replacement for humanin-the-loop decision-making. Autonomous control systems raise difficult verification and validation issues. V&V techniques are needed that significantly increase confidence in these decision...
متن کاملELECTRE I-based group decision methodology with risk preferences in an imprecise setting for flexible manufacturing systems
A new hesitant fuzzy set (HFS)-ELECTRE for multi-criteria group decision-making (MCGDM) problems is developed in this paper. In real-world applications, the decision makers (DMs)’ opinions are often hesitant for decision problems; thus, considering the exact data is difficult. To address the issue, the DMs’ judgments can be expressed as linguistic variables that are converted into the HFSs, con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017